A Note on Weak Algebraic Theories
نویسنده
چکیده
In our PhD thesis ([4]), we showed that for the study of denotational semantics of linear logic ([6]), it is crucial to generalize the standard notion of monad on a category. An earlier generalization was already given by Hoofman ([9]): semimonads. But it was not suitable for our problem. This is why we introduced another generalization: weak monads. In this note, we present this new notion and give some examples. Notation. For any category C, we denote by ob(C) the collection of objects of C.
منابع مشابه
Weak Algebraic Hyperstructures as a Model for Interpretation of Chemical Reactions
The concept of weak algebraic hyperstructures or Hv-structures constitutes a generalization of the well-known algebraic hyperstructures (semihypergroup, hypergroup and so on). The overall aim of this paper is to present an introduction to some of the results, methods and ideas about chemical examples of weak algebraic hyperstructures. In this paper after an introduction of basic definitions and...
متن کاملLattice of weak hyper K-ideals of a hyper K-algebra
In this note, we study the lattice structure on the class of all weak hyper K-ideals of a hyper K-algebra. We first introduce the notion of (left,right) scalar in a hyper K-algebra which help us to characterize the weak hyper K-ideals generated by a subset. In the sequel, using the notion of a closure operator, we study the lattice of all weak hyper K-ideals of ahyper K-algebra, and we prove a ...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملA Note on Artinian Primes and Second Modules
Prime submodules and artinian prime modules are characterized. Furthermore, some previous results on prime modules and second modules are generalized.
متن کاملA note on semi-regular locales
Semi-regular locales are extensions of the classical semiregular spaces. We investigate the conditions such that semi-regularization is a functor. We also investigate the conditions such that semi-regularization is a reflection or coreflection.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008